argo-lib : A Generic Platform for Decision Procedures
Identifieur interne : 006B04 ( Main/Exploration ); précédent : 006B03; suivant : 006B05argo-lib : A Generic Platform for Decision Procedures
Auteurs : Filip Mari [Serbie] ; Predrag Jani I [Serbie]Source :
- Lecture Notes in Computer Science [ 0302-9743 ]
Abstract
Abstract: argo-lib is a C++ library that provides support for using decision procedures and for schemes for combining and augmenting decision procedures. This platform follows the smt-lib initiative which aims at establishing a library of benchmarks for satisfiability modulo theories. The platform can be easily integrated into other systems. It also enables comparison and unifying of different approaches, evaluation of new techniques and, hopefully, can help in advancing the field.
Url:
DOI: 10.1007/978-3-540-25984-8_13
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 000137
- to stream Istex, to step Curation: 000137
- to stream Istex, to step Checkpoint: 001713
- to stream Main, to step Merge: 006E08
- to stream Main, to step Curation: 006B04
Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">argo-lib : A Generic Platform for Decision Procedures</title>
<author><name sortKey="Mari, Filip" sort="Mari, Filip" uniqKey="Mari F" first="Filip" last="Mari">Filip Mari</name>
</author>
<author><name sortKey="Jani I, Predrag" sort="Jani I, Predrag" uniqKey="Jani I P" first="Predrag" last="Jani I">Predrag Jani I</name>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">ISTEX</idno>
<idno type="RBID">ISTEX:065C06EF6484FEBBB83DD9FCA10EB65CCA4F07F3</idno>
<date when="2004" year="2004">2004</date>
<idno type="doi">10.1007/978-3-540-25984-8_13</idno>
<idno type="url">https://api.istex.fr/ark:/67375/HCB-PJP7K4PK-W/fulltext.pdf</idno>
<idno type="wicri:Area/Istex/Corpus">000137</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">000137</idno>
<idno type="wicri:Area/Istex/Curation">000137</idno>
<idno type="wicri:Area/Istex/Checkpoint">001713</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">001713</idno>
<idno type="wicri:doubleKey">0302-9743:2004:Mari F:argo:lib:a</idno>
<idno type="wicri:Area/Main/Merge">006E08</idno>
<idno type="wicri:Area/Main/Curation">006B04</idno>
<idno type="wicri:Area/Main/Exploration">006B04</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en"><hi rend="smallCaps">argo-lib</hi>
: A Generic Platform for Decision Procedures</title>
<author><name sortKey="Mari, Filip" sort="Mari, Filip" uniqKey="Mari F" first="Filip" last="Mari">Filip Mari</name>
<affiliation wicri:level="1"><country xml:lang="fr">Serbie</country>
<wicri:regionArea>Faculty of Mathematics, University of Belgrade, Studentski trg 16, 11 000, Belgrade</wicri:regionArea>
<wicri:noRegion>Belgrade</wicri:noRegion>
</affiliation>
<affiliation></affiliation>
</author>
<author><name sortKey="Jani I, Predrag" sort="Jani I, Predrag" uniqKey="Jani I P" first="Predrag" last="Jani I">Predrag Jani I</name>
<affiliation wicri:level="1"><country xml:lang="fr">Serbie</country>
<wicri:regionArea>Faculty of Mathematics, University of Belgrade, Studentski trg 16, 11 000, Belgrade</wicri:regionArea>
<wicri:noRegion>Belgrade</wicri:noRegion>
</affiliation>
<affiliation></affiliation>
</author>
</analytic>
<monogr></monogr>
<series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title>
<idno type="ISSN">0302-9743</idno>
<idno type="eISSN">1611-3349</idno>
<idno type="ISSN">0302-9743</idno>
</series>
</biblStruct>
</sourceDesc>
<seriesStmt><idno type="ISSN">0302-9743</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass></textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">Abstract: argo-lib is a C++ library that provides support for using decision procedures and for schemes for combining and augmenting decision procedures. This platform follows the smt-lib initiative which aims at establishing a library of benchmarks for satisfiability modulo theories. The platform can be easily integrated into other systems. It also enables comparison and unifying of different approaches, evaluation of new techniques and, hopefully, can help in advancing the field.</div>
</front>
</TEI>
<affiliations><list><country><li>Serbie</li>
</country>
</list>
<tree><country name="Serbie"><noRegion><name sortKey="Mari, Filip" sort="Mari, Filip" uniqKey="Mari F" first="Filip" last="Mari">Filip Mari</name>
</noRegion>
<name sortKey="Jani I, Predrag" sort="Jani I, Predrag" uniqKey="Jani I P" first="Predrag" last="Jani I">Predrag Jani I</name>
</country>
</tree>
</affiliations>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 006B04 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 006B04 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Main |étape= Exploration |type= RBID |clé= ISTEX:065C06EF6484FEBBB83DD9FCA10EB65CCA4F07F3 |texte= argo-lib : A Generic Platform for Decision Procedures }}
This area was generated with Dilib version V0.6.33. |